منابع مشابه
Oscon: an Operating System Consultant∗
One of the most useful applications of natural language interface technology is the area of computer consultants. Computer consultants are programs which a user can ask for help about some topic. One of the easiest ways to interact with computer consultants is by typed English. These programs can give answers in English too. We hav e developed a computer consultant called OSCON (Operating Syste...
متن کاملEOS: An Extensible Operating System
Performance and stability of the network is a business requirement for datacenter networking, where a single scalable fabric carries both network and storage traffic. Management processes must be scalable for successful deployment and operation, requiring a high degree of automation and integration into the customer’s unique environment. The design and architecture of the network operating syst...
متن کاملOperating System Verification — An Overview
This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. We survey the state of the art, the advantages and limitations of machinechecked code proofs, and describe two specific ongoing larger-scale verification projects in more detail.
متن کاملAn Operating System Independent WORM Archival System
We describe the organization of a general purpose data archival system for Write-Once, Read-Many (WORM) optical disks. The system has been designed for large-scale and long-term data storage and retrieval. The archival system is independent of the operating system, flat, self-consistent, does not use any write cache on magnetic disk, and allows the exploitation of auxiliary information on magne...
متن کاملDistributed Application Operating System Operating System Api
Middleware is a class of software technologies designed to help manage the complexity and heterogeneity inherent in distributed systems. It is defined as a layer of software above the operating system but below the application program that provides a common programming abstraction across a distributed system, as shown in Figure 1. In doing so, it provides a higher-level building block for progr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Ethnologist
سال: 2021
ISSN: 0094-0496,1548-1425
DOI: 10.1111/amet.13013